" Nachum Dershowitz" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)

Christian S. Calude, Jose Felix Gomes da Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg

Категория: Компьютеры

7.02 Mb

#2

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday (Lecture Notes in Computer Science Programming and Software Engineering)

Andreas Blass, Nachum Dershowitz, Wolfgang Reisig

5.84 Mb

#3

Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Arnon Avron, Nachum Dershowitz, Alexander Rabinovich

8.20 Mb

#4

Calendrical Calculations

Nachum Dershowitz, Edward M. Reingold

Категория: M_Mathematics, MPop_Popular-level

4.06 Mb

#5

Calendrical Calculations

Nachum Dershowitz, Edward M. Reingold

4.24 Mb

#6

Rewriting Techniques and Applications, 3 conf., RTA-89

Nachum Dershowitz

Категория: Cs_Computer science, CsLn_Lecture notes

5.18 Mb

#7

Logic for Programming, Artificial Intelligence, and Reasoning, 14 conf., LPAR 2007

Nachum Dershowitz, Andrei Voronkov

Категория: CsLn_

5.33 Mb

#8

Pillars of Computer Science

Arnon Avron, Nachum Dershowitz, Alexander Rabinovich

Категория: CsLn_

6.76 Mb

#9

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings

Nachum Dershowitz, Naomi Lindenstrauss

3.52 Mb

#10

Verification: Theory and Practice

Nachum Dershowitz

7.14 Mb